Optimal. Leaf size=145 \[ \frac{3 b \sinh \left (3 a-\frac{3 b c}{d}\right ) \text{Chi}\left (\frac{3 b c}{d}+3 b x\right )}{4 d^2}+\frac{3 b \sinh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{b c}{d}+b x\right )}{4 d^2}+\frac{3 b \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{b c}{d}+b x\right )}{4 d^2}+\frac{3 b \cosh \left (3 a-\frac{3 b c}{d}\right ) \text{Shi}\left (\frac{3 b c}{d}+3 b x\right )}{4 d^2}-\frac{\cosh ^3(a+b x)}{d (c+d x)} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.23707, antiderivative size = 145, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 4, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.25, Rules used = {3313, 3303, 3298, 3301} \[ \frac{3 b \sinh \left (3 a-\frac{3 b c}{d}\right ) \text{Chi}\left (\frac{3 b c}{d}+3 b x\right )}{4 d^2}+\frac{3 b \sinh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{b c}{d}+b x\right )}{4 d^2}+\frac{3 b \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{b c}{d}+b x\right )}{4 d^2}+\frac{3 b \cosh \left (3 a-\frac{3 b c}{d}\right ) \text{Shi}\left (\frac{3 b c}{d}+3 b x\right )}{4 d^2}-\frac{\cosh ^3(a+b x)}{d (c+d x)} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3313
Rule 3303
Rule 3298
Rule 3301
Rubi steps
\begin{align*} \int \frac{\cosh ^3(a+b x)}{(c+d x)^2} \, dx &=-\frac{\cosh ^3(a+b x)}{d (c+d x)}+\frac{(3 i b) \int \left (-\frac{i \sinh (a+b x)}{4 (c+d x)}-\frac{i \sinh (3 a+3 b x)}{4 (c+d x)}\right ) \, dx}{d}\\ &=-\frac{\cosh ^3(a+b x)}{d (c+d x)}+\frac{(3 b) \int \frac{\sinh (a+b x)}{c+d x} \, dx}{4 d}+\frac{(3 b) \int \frac{\sinh (3 a+3 b x)}{c+d x} \, dx}{4 d}\\ &=-\frac{\cosh ^3(a+b x)}{d (c+d x)}+\frac{\left (3 b \cosh \left (3 a-\frac{3 b c}{d}\right )\right ) \int \frac{\sinh \left (\frac{3 b c}{d}+3 b x\right )}{c+d x} \, dx}{4 d}+\frac{\left (3 b \cosh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\sinh \left (\frac{b c}{d}+b x\right )}{c+d x} \, dx}{4 d}+\frac{\left (3 b \sinh \left (3 a-\frac{3 b c}{d}\right )\right ) \int \frac{\cosh \left (\frac{3 b c}{d}+3 b x\right )}{c+d x} \, dx}{4 d}+\frac{\left (3 b \sinh \left (a-\frac{b c}{d}\right )\right ) \int \frac{\cosh \left (\frac{b c}{d}+b x\right )}{c+d x} \, dx}{4 d}\\ &=-\frac{\cosh ^3(a+b x)}{d (c+d x)}+\frac{3 b \text{Chi}\left (\frac{3 b c}{d}+3 b x\right ) \sinh \left (3 a-\frac{3 b c}{d}\right )}{4 d^2}+\frac{3 b \text{Chi}\left (\frac{b c}{d}+b x\right ) \sinh \left (a-\frac{b c}{d}\right )}{4 d^2}+\frac{3 b \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{b c}{d}+b x\right )}{4 d^2}+\frac{3 b \cosh \left (3 a-\frac{3 b c}{d}\right ) \text{Shi}\left (\frac{3 b c}{d}+3 b x\right )}{4 d^2}\\ \end{align*}
Mathematica [A] time = 0.533832, size = 196, normalized size = 1.35 \[ -\frac{3 b \left (-2 \sinh \left (3 a-\frac{3 b c}{d}\right ) \text{Chi}\left (\frac{3 b c}{d}+3 b x\right )-2 \sinh \left (a-\frac{b c}{d}\right ) \text{Chi}\left (\frac{b c}{d}+b x\right )-2 \cosh \left (a-\frac{b c}{d}\right ) \text{Shi}\left (\frac{b c}{d}+b x\right )-2 \cosh \left (3 a-\frac{3 b c}{d}\right ) \text{Shi}\left (\frac{3 b c}{d}+3 b x\right )\right )}{8 d^2}-\frac{3 \sinh (a) \sinh (b x)}{4 d (c+d x)}-\frac{\sinh (3 a) \sinh (3 b x)}{4 d (c+d x)}-\frac{3 \cosh (a) \cosh (b x)}{4 d (c+d x)}-\frac{\cosh (3 a) \cosh (3 b x)}{4 d (c+d x)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.102, size = 271, normalized size = 1.9 \begin{align*} -{\frac{b{{\rm e}^{-3\,bx-3\,a}}}{ \left ( 8\,bdx+8\,cb \right ) d}}+{\frac{3\,b}{8\,{d}^{2}}{{\rm e}^{-3\,{\frac{da-cb}{d}}}}{\it Ei} \left ( 1,3\,bx+3\,a-3\,{\frac{da-cb}{d}} \right ) }-{\frac{3\,b{{\rm e}^{-bx-a}}}{8\,d \left ( bdx+cb \right ) }}+{\frac{3\,b}{8\,{d}^{2}}{{\rm e}^{-{\frac{da-cb}{d}}}}{\it Ei} \left ( 1,bx+a-{\frac{da-cb}{d}} \right ) }-{\frac{3\,b{{\rm e}^{bx+a}}}{8\,{d}^{2}} \left ({\frac{cb}{d}}+bx \right ) ^{-1}}-{\frac{3\,b}{8\,{d}^{2}}{{\rm e}^{{\frac{da-cb}{d}}}}{\it Ei} \left ( 1,-bx-a-{\frac{-da+cb}{d}} \right ) }-{\frac{b{{\rm e}^{3\,bx+3\,a}}}{8\,{d}^{2}} \left ({\frac{cb}{d}}+bx \right ) ^{-1}}-{\frac{3\,b}{8\,{d}^{2}}{{\rm e}^{3\,{\frac{da-cb}{d}}}}{\it Ei} \left ( 1,-3\,bx-3\,a-3\,{\frac{-da+cb}{d}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.33496, size = 196, normalized size = 1.35 \begin{align*} -\frac{e^{\left (-3 \, a + \frac{3 \, b c}{d}\right )} E_{2}\left (\frac{3 \,{\left (d x + c\right )} b}{d}\right )}{8 \,{\left (d x + c\right )} d} - \frac{3 \, e^{\left (-a + \frac{b c}{d}\right )} E_{2}\left (\frac{{\left (d x + c\right )} b}{d}\right )}{8 \,{\left (d x + c\right )} d} - \frac{3 \, e^{\left (a - \frac{b c}{d}\right )} E_{2}\left (-\frac{{\left (d x + c\right )} b}{d}\right )}{8 \,{\left (d x + c\right )} d} - \frac{e^{\left (3 \, a - \frac{3 \, b c}{d}\right )} E_{2}\left (-\frac{3 \,{\left (d x + c\right )} b}{d}\right )}{8 \,{\left (d x + c\right )} d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 1.94727, size = 680, normalized size = 4.69 \begin{align*} -\frac{2 \, d \cosh \left (b x + a\right )^{3} + 6 \, d \cosh \left (b x + a\right ) \sinh \left (b x + a\right )^{2} + 6 \, d \cosh \left (b x + a\right ) - 3 \,{\left ({\left (b d x + b c\right )}{\rm Ei}\left (\frac{b d x + b c}{d}\right ) -{\left (b d x + b c\right )}{\rm Ei}\left (-\frac{b d x + b c}{d}\right )\right )} \cosh \left (-\frac{b c - a d}{d}\right ) - 3 \,{\left ({\left (b d x + b c\right )}{\rm Ei}\left (\frac{3 \,{\left (b d x + b c\right )}}{d}\right ) -{\left (b d x + b c\right )}{\rm Ei}\left (-\frac{3 \,{\left (b d x + b c\right )}}{d}\right )\right )} \cosh \left (-\frac{3 \,{\left (b c - a d\right )}}{d}\right ) - 3 \,{\left ({\left (b d x + b c\right )}{\rm Ei}\left (\frac{b d x + b c}{d}\right ) +{\left (b d x + b c\right )}{\rm Ei}\left (-\frac{b d x + b c}{d}\right )\right )} \sinh \left (-\frac{b c - a d}{d}\right ) - 3 \,{\left ({\left (b d x + b c\right )}{\rm Ei}\left (\frac{3 \,{\left (b d x + b c\right )}}{d}\right ) +{\left (b d x + b c\right )}{\rm Ei}\left (-\frac{3 \,{\left (b d x + b c\right )}}{d}\right )\right )} \sinh \left (-\frac{3 \,{\left (b c - a d\right )}}{d}\right )}{8 \,{\left (d^{3} x + c d^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\cosh ^{3}{\left (a + b x \right )}}{\left (c + d x\right )^{2}}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.39483, size = 401, normalized size = 2.77 \begin{align*} \frac{3 \, b d x{\rm Ei}\left (\frac{3 \,{\left (b d x + b c\right )}}{d}\right ) e^{\left (3 \, a - \frac{3 \, b c}{d}\right )} + 3 \, b d x{\rm Ei}\left (\frac{b d x + b c}{d}\right ) e^{\left (a - \frac{b c}{d}\right )} - 3 \, b d x{\rm Ei}\left (-\frac{b d x + b c}{d}\right ) e^{\left (-a + \frac{b c}{d}\right )} - 3 \, b d x{\rm Ei}\left (-\frac{3 \,{\left (b d x + b c\right )}}{d}\right ) e^{\left (-3 \, a + \frac{3 \, b c}{d}\right )} + 3 \, b c{\rm Ei}\left (\frac{3 \,{\left (b d x + b c\right )}}{d}\right ) e^{\left (3 \, a - \frac{3 \, b c}{d}\right )} + 3 \, b c{\rm Ei}\left (\frac{b d x + b c}{d}\right ) e^{\left (a - \frac{b c}{d}\right )} - 3 \, b c{\rm Ei}\left (-\frac{b d x + b c}{d}\right ) e^{\left (-a + \frac{b c}{d}\right )} - 3 \, b c{\rm Ei}\left (-\frac{3 \,{\left (b d x + b c\right )}}{d}\right ) e^{\left (-3 \, a + \frac{3 \, b c}{d}\right )} - d e^{\left (3 \, b x + 3 \, a\right )} - 3 \, d e^{\left (b x + a\right )} - 3 \, d e^{\left (-b x - a\right )} - d e^{\left (-3 \, b x - 3 \, a\right )}}{8 \,{\left (d^{3} x + c d^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]